- relativization of quantifiers
- релятивизация кванторов
Англо-русский словарь по вычислительной технике и информационным технологиям - 4-е изд.. Сергей Орлов .
relativization of quantifiers
Смотреть что такое "relativization of quantifiers" в других словарях:
Post's theorem — In computability theory Post s theorem, named after Emil Post, describes the connection between the arithmetical hierarchy and the Turing degrees. Background The statement of Post s theorem requires several concepts relating to definability and… … Wikipedia
